BEGIN:VCALENDAR
VERSION:2.0
PRODID:ILLC Website
X-WR-TIMEZONE:Europe/Amsterdam
BEGIN:VTIMEZONE
TZID:Europe/Amsterdam
X-LIC-LOCATION:Europe/Amsterdam
BEGIN:DAYLIGHT
TZOFFSETFROM:+0100
TZOFFSETTO:+0200
TZNAME:CEST
DTSTART:19700329T020000
RRULE:FREQ=YEARLY;BYMONTH=3;BYDAY=-1SU
END:DAYLIGHT
BEGIN:STANDARD
TZOFFSETFROM:+0200
TZOFFSETTO:+0100
TZNAME:CET
DTSTART:19701025T030000
RRULE:FREQ=YEARLY;BYMONTH=10;BYDAY=-1SU
END:STANDARD
END:VTIMEZONE
BEGIN:VEVENT
UID:/NewsandEvents/Archives/2014/newsitem/5526/6-F
 ebruary-2014-Algebra|Coalgebra-Seminar-Benno-van-d
 en-Berg
DTSTAMP:20140201T000000
SUMMARY:Algebra|Coalgebra Seminar, Benno van den B
 erg
ATTENDEE;ROLE=Speaker:Benno van den Berg
DTSTART;TZID=Europe/Amsterdam:20140206T160000
DTEND;TZID=Europe/Amsterdam:20140206T173000
LOCATION:Room F1.15, ILLC, Science Park, Amsterdam
DESCRIPTION:Abstract: In his book on non-well-foun
 ded sets Aczel proves a general final coalgebra th
 eorem, showing that a wide class of endofunctors o
 n the category of classes has a final coalgebra. I
  will discuss generalisations of this result to th
 e setting of algebraic set theory and try to motiv
 ate why it is interesting to look at results at th
 is level of generality.  For more information, see
  https://www.illc.uva.nl/alg-coalg/
X-ALT-DESC;FMTTYPE=text/html:\n        <p>Abstract
 : In his book on non-well-founded sets Aczel prove
 s a general final coalgebra theorem, showing that 
 a wide class of endofunctors on the category of cl
 asses has a final coalgebra. I will discuss genera
 lisations of this result to the setting of algebra
 ic set theory and try to motivate why it is intere
 sting to look at results at this level of generali
 ty.</p>\n    \n        <p>For more information, se
 e <a target="_blank" href="https://www.illc.uva.nl
 /alg-coalg/">https://www.illc.uva.nl/alg-coalg/</a
 > </p>\n    
URL:/NewsandEvents/Archives/2014/newsitem/5526/6-F
 ebruary-2014-Algebra|Coalgebra-Seminar-Benno-van-d
 en-Berg
END:VEVENT
END:VCALENDAR
